Negation in rule-based database languages: a survey
نویسندگان
چکیده
منابع مشابه
Deductive Object-Oriented Database Languages: A Survey
The deductive object-oriented database (DOOD) model is an integration of the object-oriented data modeling paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems of the future. The database language of a DOOD system should speciically be based on a logic to facilitate use of deductive database technology and also to provide the theoretical foun...
متن کاملInvestigating Termination in Active Database Systems with Expressive Rule Languages
The powerful functionality that active mechanisms add to database management systems presents, besides many advantages, a number of problems related to the control of their behavior. This paper deals with one of these problems: the termination of rule execution. We explain the termination aspect and the aim of termination analysis. Then, we present our approach for investigating the termination...
متن کاملRule-Based Knowledge Representation Using a Database
Selecting a suitable method and knowledge engineering tool for a rule-based problem may be influenced by the fact that an expert system shell can be expensive and, contrary to database systems, may not be part of the installed computing environment. We show how to use a database (ORACLE) to implement the functionality of an expert system shell by a simple rule language which is automatically tr...
متن کاملA Margin-based Model with a Fast Local Searchnewline for Rule Weighting and Reduction in Fuzzynewline Rule-based Classification Systems
Fuzzy Rule-Based Classification Systems (FRBCS) are highly investigated by researchers due to their noise-stability and interpretability. Unfortunately, generating a rule-base which is sufficiently both accurate and interpretable, is a hard process. Rule weighting is one of the approaches to improve the accuracy of a pre-generated rule-base without modifying the original rules. Most of the pro...
متن کاملRule-Based Expression Mechanisms for Procedural Languages
We report on experiences on adding a rule based expression mechanism to an existing procedural programming language (C++) and on designing and implementing a self-contained language { and its integrated programming environment { supporting similar but more general capabilities. Both languages, XC and XE, are based on abstract data types and XE is a close relative of CLU. Its programming environ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1991
ISSN: 0304-3975
DOI: 10.1016/0304-3975(51)90003-5